\begin{tabbing}
rv{-}iid($p$;$n$.$f$($n$);$i$.$X$($i$))
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=rv{-}identically{-}distributed($p$;$n$.$f$($n$);$i$.$X$($i$))\+
\\[0ex]\& ($\forall$$n$:$\mathbb{N}$, $i$:\{0..$n$$^{-}$\}. ($f$($i$) $<$ $f$($n$)) \& rv{-}disjoint($p$;$f$($n$);$X$($i$);$X$($n$)))
\-
\end{tabbing}